Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example
نویسندگان
چکیده
منابع مشابه
Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example
As unconventional computation matures and non-standard programming frameworks are demonstrated, the need for formal verification will become more prevalent. This is so because “programming” in unconventional substrates is difficult. In this paper we show how conventional verification tools can be used to verify unconventional programs implementing a logical XOR gate.
متن کاملA New Design for Two-input XOR Gate in Quantum-dot Cellular Automata
Quantum-dot Cellular Automata (QCA) technology is attractive due to its low power consumption, fast speed and small dimension, therefore, it is a promising alternative to CMOS technology. In QCA, configuration of charges plays the role which is played by current in CMOS. This replacement provides the significant advantages. Additionally, exclusive-or (XOR) gate is a useful building block in man...
متن کاملNew Polymorphic NAND/XOR Gate
Polymorphic digital circuits are circuits composed of polymorphic (multifunctional) as well as ordinary gates. In addition to its standard logic function (such as NAND), a polymorphic gate exhibits another logic function which is activated under a specific condition, for example, when Vdd, temperature, illumination or a special signal reaches a certain level. This paper describes newly proposed...
متن کاملConventional Synapses for Unconventional Cells
Powerful synapses between climbing fibers (CF) and Purkinje cells are crucial to cerebellar motor learning. In this issue of Neuron, Lin and colleagues provide compelling evidence for the existence of direct synaptic contacts between CFs and NG2-expressing glia cells, adding to the intrigue of neuro-glial interactions.
متن کاملRealization and Properties of Biochemical-Computing Biocatalytic XOR Gate Based on Enzyme Inhibition by a Substrate
We consider a realization of the XOR logic gate in a process biocatalyzed by an enzyme which can be inhibited by a substrate when the latter is inputted at large enough concentrations. A model is developed for describing such systems in an approach suitable for evaluation of the analog noise amplification properties of the gate. The obtained data are fitted for gate quality evaluation within th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Informaticae
سال: 2014
ISSN: 0169-2968
DOI: 10.3233/fi-2014-1093